#include <stdio.h>
int a(int a, int b, char * c, char * d, int e, int f, int g, int h, int k);

int xx()
{
  a(0, 1, 2, 3, 4, 5, 6, 7, 8);
  printf("blah %s\n", "abc");
}
